University of Bologna - PDFSEARCH.IO - Document Search Engine

University of Bologna
Results: 826

#	Item
761	INTERNATIONAL SCIENTIFIC PRACTICAL CONFERENCE “QUALITY AND RENOVATION OF HIGH EDUCATION OF KYRGYZSTAN” November 15-16, 2007 Agenda Add to Reading List Source URL: www.bolognakg.net Language: English - Date: 2008-01-18 05:31:28 Political geography Kyrgyz National University Kyrgyzstan Kyrgyz people Bologna Process Asia Bishkek International University of Kyrgyzstan
762	A Web Interface for Matita Andrea Asperti and Wilmer Ricciotti Department of Computer Science, University of Bologna {asperti,ricciott}@cs.unibo.it This article describes a prototype implementation of a web interface fo Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2012-04-18 02:22:00 HTML World Wide Web Computer file formats Proof assistant Matita XML Hyperlink Web page Form Computing Markup languages Technical communication
763	The Intensional Content of Rice’s Theorem (Pearl) Andrea Asperti Department of Computer Science, University of Bologna Mura Anteo Zamboni 7, 40127, Bologna, ITALY [removed] Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-31 03:46:45 Mathematics Theory of computation Blum axioms Computable function ELEMENTARY Recursively enumerable set Smn theorem Computational complexity theory Lambda calculus Theoretical computer science Computability theory Applied mathematics
764	Paper IIEP/SEM334/Theme paper April 2013 Original: English Add to Reading List Source URL: www.iiep.unesco.org Language: English - Date: 2013-05-31 04:41:28 Knowledge sharing Philosophy of education Public university Bologna Process Education in the Middle East and North Africa Governance in higher education Education Knowledge Higher education
765	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
766	Microsoft Word - Self-certification final draft December 2006.doc Add to Reading List Source URL: enic-naric.net Language: English - Date: 2014-02-26 04:44:01 Quality Assurance Agency for Higher Education European Higher Education Area Academic standards Bologna Process Higher National Qualifications Framework Scottish Government Education Directorates University of the Highlands and Islands Diploma of Higher Education Education Education in Scotland Scottish Credit and Qualifications Framework
767	How can a terminology knowledge base help translators? Franco Bertaccini SLLTI Forlì- University of Bologna ENGLISH VERSION (original presentation in French) Add to Reading List Source URL: www.termcoord.eu Language: English - Date: 2014-06-06 04:15:13 Knowledge Translation Applied linguistics Book design Glossary Terminology Thesaurus Linguistics Science Lexicography
768	A century of generalization∗ Stefano Ghirlanda1,2 and Magnus Enquist2,3 2 Group 1 Department of Psychology, Bologna University for interdisciplinary cultural research, Stockholm University Add to Reading List Source URL: cogprints.org Language: English - Date: 2009-12-08 15:58:24 Biology Electroencephalography Evoked potentials Neuroscience Optical illusions Physiology Stimulus control Perception
769	ERASMUS MUNDUS EXTERNAL COOPERATION WINDOW – LOT 10 Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2010-10-07 07:43:35 Republics Educational policies and initiatives of the European Union Eastern Europe European Union University of Pristina Kosovo Bologna Process Southeast Europe Socialist Federal Republic of Yugoslavia Europe Balkans Member states of the United Nations
770	Karl Franzens Universitat - Graz SPES[removed]L10[removed]AT.doc Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2010-10-07 07:43:35 Educational policies and initiatives of the European Union Member states of the Union for the Mediterranean Member states of the United Nations Slavic countries Erasmus Mundus University of Pristina Bosnia and Herzegovina Socialist Federal Republic of Yugoslavia Bologna Process Europe Balkans Political geography